main =
    wrappedNotEq : a, a -> Bool
    wrappedNotEq = \num1, num2 ->
        num1 != num2

    wrappedNotEq 2 3
